\section{Introduction} % (fold)
\label{sec:introduction}
\todo{Forthcoming.} (We don't yet know how to write a good introduction here.)
% section introduction (end)
